DELL requires SMP kernel
